An Introduction to the Object Constraint Language (OCL)
نویسندگان
چکیده
Visual modeling languages are appealing because "a picture tells more than a thousand words." The UML is such a visual language and is well known for its graphical notation and diagramming techniques. However, pictures often only tell half of the story and additional information needs to be captured in a different way. For this reason the UML includes the Object Constraint Language (OCL), a textual language, which allows a UML modeler to specify these additional constraints.
منابع مشابه
Enhancing the Message Concept of the Object Constraint Language
The textual Object Constraint Language (OCL) is an official part of the Unified Modeling Language (UML). A new concept in the recently adopted OCL version 2.0 is the notion of OCL messages that enable modelers to put restrictions on messages sent. However, this concept shows some shortcomings with respect to the existing OCL language concepts. On the one hand, the proposed syntax does not quite...
متن کاملOn Message Specifications in OCL 1
The object constraint language (OCL) is the established language for specifying of properties of objects and object structures. Recently an extension of OCL has been proposed for the specification of messages sent between objects. In this paper we present a generalization of this extension which allows additionally to specify causality constraints. From a pragmatic point of view, such causality...
متن کاملA Multi-Formalism Modeling Framework: Formal Definitions, Model Composition and Solution Strategies
In this paper, we present a multi-formalism modeling framework (abbreviated by MFMF) for modeling and simulation. The proposed framework is defined based on the concepts of meta-models and uses object-orientation to overcome the complexities and to enhance the extensibility. The framework can be used as a basis for modeling by various formalisms and to support model composition in a unified man...
متن کاملThe Object Constraint Language for UML 2.0 – Overview and Assessment
In parallel to the release of UML 2.0, also a new version of the Object Constraint Language (OCL) has been published. OCL is a language for precise textual description of constraints which apply to the graphical UML models. The new OCL 2.0 standard goes far beyond the previous language, not so much in features but mainly in the approach chosen for laying much more precise and formal foundations...
متن کاملExtending OCL to Better Express UML Qualified Associations
—A qualified association in the Unified Modeling Language (UML) is an association that allows one to restrict the objects referred in an association using a key called a qualifier. A qualified association can appear in a constraint written in the Object Constraint Language (OCL) to specify a precise UML model. However, the OCL notation fails to provide appropriate support for expressing certain...
متن کامل